Computer aided verification - 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
- Författare
- Alain Finkel Hubert Comon Gérard Berry International Conference on Computer Aided Verification 2001 : Paris)
- (Gérard Berry, Hubert Comon, Alain Finkel (eds.)., Includes bibliographical references and index)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2001 | Tyskland, Berlin | xiii, 520 sidor. ill. |